acm sigbed
|
emsoft
|
participants
Philip S. Kurtin
EMSOFT 2017: 17th International Conference on Embedded Software
An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems
Philip S. Kurtin
and
Marco Jan Gerrit Bekooij
10.1145/3126507
https://ris.utwente.nl/ws/portalfiles/portal/17134151/main.pdf